Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
141	Appendix A: Command Reference Python Commands and Syntax # I am a comment; Python ignores me. """I am also ignored. Me too! """ Add to Reading List Source URL: graylab.jhu.edu Language: English - Date: 2014-09-11 17:11:31 Chemistry Protein structure Bioinformatics Nature Computational chemistry Computer vision Mathematical and theoretical biology STING Docking Side chain Pose
142	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation
143	Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-11-27 11:35:14 Logic Mathematical logic Mathematics Model theory Logic in computer science Lambda calculus Models of computation Type theory Combinatory logic Theorem Structure Interpretation
144	workshop Facets of Electron Crystallography Berlin 7-9 july 2010 Direct Methods Carmelo Giacovazzo Istituto di Cristallografia, CNR, Add to Reading List Source URL: nanocrystallography.research.pdx.edu Language: English - Date: 2012-07-14 14:36:12 Crystallography Structure factor Lie groups Lie algebras Mathematical physics Theoretical physics Differential topology
145	1 Kernel methods for SAR Modeling Biological Activities of Chemical Compounds: Kernel Methods for Structure Activity Relationship Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2004-06-07 22:06:43 Chemistry Learning Cheminformatics Statistics Drug discovery Computational chemistry Statistical classification Mathematical chemistry Kernel method Graph kernel Support vector machine Organic chemistry
146	Microsoft Word - SGP07-Preprint.doc Add to Reading List Source URL: geometry.stanford.edu Language: English - Date: 2007-06-26 21:41:49 Operations research Mathematical optimization 3D modeling Topology Linear programming Mathematics Structure Computer science
147	Group structure and group size among humans and other primates Linton C. Freeman Institute for Mathematical Behavioral Sciences, School of Social Sciences, University of California at Irvine, Irvine, CAElectronic Add to Reading List Source URL: moreno.ss.uci.edu Language: English - Date: 2007-06-21 12:05:50
148	QUARTERLY OF APPLIED MATHEMATICS VOLUME , NUMBER 0 XXXX XXXX, PAGES 000–000 S 0033-569X(XXGRADIENT FLOW STRUCTURE FOR DOMAIN RELAXATION IN Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2011-08-05 00:05:01 Physics Fluid dynamics Mathematical analysis Hele-Shaw flow Vector field Stream function Work Polar coordinate system
149	Relational decomposition Lennart Beringer ?? Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-05-25 12:08:33 Model theory Mathematical logic Interpretation Philosophy of mind Semantics Relational algebra Structure operator Substitution
150	GIVING A TALK BRYNA KRA No one likes to sit through a bad talk, but unfortunately everyone does it much too frequently. And no one sets out to give a bad talk, but probably all of us have done so. Paul Halmos [1] wrote a Add to Reading List Source URL: www.math.northwestern.edu Language: English - Date: 2012-10-30 05:40:47 Statements Structure Public speaking Presentation software Knowledge Chalk talk Illustration Theorem Mathematical proof Philosophy Beamer Presentation program

UPDATE